ОИИ Тест каз

<question> ПРОЛОГ программалау тілінде бүтінсанды бөлу операциясы қалай сипатталады:

<variant> div

<variant> /

<variant> mod

<variant> \

<variant> :

<question> ПРОЛОГ тілінде қалдықпен бөлу операциясы белгіленеді:

<variant> mod

<variant> abs

<variant> div

<variant> int

<variant> or

<question> Жасанды интелект обылысындағы басталу кезеңі:

<variant> 20-ы ғасырдың 50-і жылдарының аяғы

<variant> 20-ы ғасырдың 40-ы жылдарының аяғы

<variant> 20-ы ғасырдың 60-ы жылдарының аяғы

<variant> 20-ы ғасырдың 70-і жылдарының аяғы

<variant> 20-ы ғасырдың 30-ы жылдарының аяғы

<question> Жасанды интелект обылысындағы алғашқы зерттеулер ... жұмыстарымен байланысты:

<variant> Сайман, Ньюэлл, Шоу

<variant> Хартли, Берг

<variant> Шеннон, Берг

<variant> Берг

<variant> Сайман, Хартли, Шеннон

<question> Жасанды интелект обылысындағы алғашқы зерттеулер ... қолдану негізіндегі программаларды жасаумен байланысты:

<variant> эвристикалық әдістерді

<variant> алгоритмдік әдістерді

<variant> продукционды әдістерді

<variant> резолюция әдістерін

<variant> дұрыс жауабы жоқ

<question> Жасанды интеллект обылысындағы зерттеулер мен жасалған жұмыстардың кезеңдерінің тарихының дұрыс тізбегін көрсетіңіз:

<variant> Білімдерді формалды ұсынуда жасалған әдістер мен зерттеулер.

<variant> "Жалпы интеллект" бойынша зерттеулер, адамға тән жалпы интеллектуалды үдерістерді моделдеу ұмтылыстары.

<variant> Қолданбалы практикалық маңызы бар арнайы зерделі жүйелерді жасау.

<variant> ЭЕМ жаңа буындарын жасау бойынша жалпы жұмыстар.

<variant> Адамға ұқсас роботтарды жасау

<question> Адам миының құрылымына ұқсас құрылымды аппараттық моделдеуге бағытталған жасанды интеллекттің бағыты ... деп аталады

<variant> нейрокибернетика; нейрокибернетикамен

<variant> кибернетика

<variant> "қара жәшік" кибернетикасы

<variant> нейродинамика

<variant> білімдер құрылымы

<question> Зерделі есептерді шешу алгоритмін іздеуге бағытталған жасанды интеллекттің бағыты ... аталады

<variant> "қара жәшік" кибернетикасы

<variant> нейродинамика

<variant> кибернетика

<variant> білімдер құрылымы

<variant> нейрокибернетика

<question> Нейрокибернетиканың назары жұмыс істеп тұрған жүйелер элементтерін біріктіру мен жасауға аударылған ... :

<variant> нейронды желілер

<variant> логикалық желілер

<variant> функционалдық желілер

<variant> семантикалық желілер

<variant> фреймдер

<question> Қазіргі кезде нейрондық желілерді жасауда қолданылатын тәсілдер:

<variant> аппараттық, программалық, гибридтік

<variant> нейрондық, алгоритмдік

<variant> құрылымдық, қолданбалы

<variant> алгоритмдік, қолданбалы

<variant> құрылымдық, алгоритмдік

<question> Сайман, Ньюэлл және Шоудың жұмыстарындағы логикалық есептерді шешу үдерістерін зерттеу осы ғылым обылысының бастамасы болды:

<variant> жасанды интеллект

<variant> "қара жәшік" кибернетикасы

<variant> деректер базасы

<variant> программалау

<variant> нейрокибернетика

<question> Нейрокибернетика негізінде .... бағытталған принципі жатыр:

<variant> адам миының құрылымымен ұқсас құрылымдарды аппараттық моделдеу

<variant> зерделі есептерді шешу алгоритмдерін іздеу

<variant> есептеуіш мақсатындағы есептерді шешуге арналған арнайы тілдерді жасау

<variant> адам миына тән емес құрылымдарды аппараттық моделдеу

<variant> есептерді шешу әдістерін іздеу

<question> "қара жәшік" кибернетикасының негізінде ... бағытталған принципі жатыр:

<variant> зерделі есептерді шешу алгоритмдерін іздеу

<variant> есептеуіш мақсатындағы есептерді шешуге арналған арнайы тілдерді жасау

<variant> адам миының құрылымымен ұқсас құрылымдарды аппараттық моделдеу

<variant> а адам миына тән емес құрылымдарды аппараттық моделдеу

<variant> есептерді шешу әдістерін іздеу

<question> Жасанды интеллект обылысындағы зерттеулердің негізгі бағыттары болып табылады:

<variant> "қара жәшік" кибернетикасы, нейрокибернетика

<variant> моделдеу

<variant> программалау

<variant> алгоритмдер құру

<variant> алгоритмдерді іздеу

<question> Үлгіге сәйкестеліп құрылымдалған, білімдерді бейнелеу ережелер формасына негізделген модел <<ЕГЕР (шарт), ОНДА (әрекет)>> болып табылады:

<variant> продукционодық модел

<variant> семантикалық желі

<variant> фреймдік модел

<variant> логикалық модел

<variant> нейронды желі

<question> Жекелеген фреймдер арқылы құрылған, ақпаратты бейнелеу бірліктері болып табылатын модел деп аталады:

<variant> фреймдік модел

<variant> фреймдік желі

<variant> семантикалық желі

<variant> продукциондық модел

<variant> логикалық модел

<question> Ұғымдарды нүктелермен және олардың арасындағы қатынастарды доғалармен жазықтықта бейнелеуге негізделген модел:

<variant> семантикалық желі

<variant> продукциондық модел

<variant> фреймдік желі

<variant> логикалық модел

<variant> фреймдік модел

<question> Семантикалық желі саны бойынша нешеге бөлінеді.

<variant> Біртекті, біртекті емес

<variant> Біртекті, бинарлық

<variant> Бинарлық, біртекті емес

<variant> Бинарлық, қосалқы

<variant> Біррангілі, көпрангілі

<question> Семантикалық желі типі бойынша нешеге бөлінеді

<variant> Бинарлық, қосалқы

<variant> Біртекті, бинарлық

<variant> Біртекті, біртекті емес

<variant> Бинарлық, біртекті емес

<variant> Біррангілі, көпрангілі

<question> Түсініктердің қандайда бір жиынтығы арқылы сипаттауға болатын объект (ақпарат) жайындағы білімдерді ұсыну бірлігін қалай атайды?

<variant> фрейм, фреймдер

<variant> байт, Мбайт

<variant> бит

<variant> бином

<variant> бод

<question> Фреймнің анықталған ішкі құрылымы болады, ол жиындардан тұратын жекелеген элементтер ... деп аталады

<variant> слоттар, слот

<variant> байт, Мбайт

<variant> фрейм, фреймдер

<variant> бином

<variant> бод

<question> Фреймнің анықталған ішкі құрылымы болады, ол ... тұрады:

<variant> слоттардан

<variant> қоршаудан

<variant> түйіндерден

<variant> фактілерден

<variant> биномдардан

<question> Слот - бұл ......

<variant> фреймнің ішкі құрылымының жекелеген элементі

<variant> объект жайындағы білімді бейнелеу бірліктері

<variant> білімдер базасында іздеу жүзеге асырылатын сөйлем-үлгі

<variant> пәндік обылыстың үдерістерін және құбылыстарын, объектілерін мінездемелейтін фактілер

<variant> зерделі есептерді шешу алгоритмдерін іздеу

<question> Білімдерді ұсынудың продукциондық моделін қолдануға бағытталған программалау тілі ... деп аталады:

<variant> ПРОЛОГ

<variant> РЕФАЛ

<variant> ЛИСП

<variant> ПАСКАЛЬ

<variant> СИ

<question> Продукциондық моделді қолданған кезде білімдер базасы ... тұрады:

<variant> фактілерден, ережелерден

<variant> фреймдерден, шарттардан

<variant> шарттардан, слоттардан

<variant> қоршаулардан, түйіндерден

<variant> дұрыс жауабы жоқ

<question> ПРОЛОГ – программадағы қандай бөлім объектілерді және олардың типтерін сипаттауға арналған:

<variant> DOMAINS

<variant> CLAUSES

<variant> PREDICATE

<variant> GOAL

<variant> NONDETERM

<question> ПРОЛОГ – программадағы қандай бөлім предикаттарды сипаттауға арналған:

<variant> PREDICATES

<variant> CLAUSES

<variant> GOAL

<variant> DOMAINS

<variant> NONDETERM

<question> ПРОЛОГ – программадағы қандай бөлім тұжырымдамаларды-фактілерді жазуға арналған:

<variant> CLAUSES

<variant> GOAL

<variant> DOMAINS

<variant> PREDICATES

<variant> NONDETERM

<question> ПРОЛОГ – программадағы қандай бөлім сұрауларды жазуға арналған:

<variant> GOAL

<variant> PREDICATES

<variant> DOMAINS

<variant> NONDETERM

<variant> CLAUSES

<question> ПРОЛОГ – программадағы DOMAINS бөлімі – бұл ....

<variant> типтерді сипаттау секциясы

<variant> предикаттарды сипаттау секциясы

<variant> сөйлемдерді сипаттау секциясы

<variant> сұрауларды сипаттау секциясы

<variant> программаларды сипаттау секциясы

<question> ПРОЛОГ – программадағы CLAUSES бөлімі – бұл ....

<variant> сөйлемдерді сипаттау секциясы

<variant> предикаттарды сипаттау секциясы

<variant> типтерді сипаттау секциясы

<variant> сұрауларды сипаттау секциясы

<variant> программаларды сипаттау секциясы

<question> ПРОЛОГ – программадағы PREDICATES бөлімі – бұл ....

<variant> предикаттарды сипаттау секциясы

<variant> сұрауларды сипаттау секциясы

<variant> типтерді сипаттау секциясы

<variant> сөйлемдерді сипаттау секциясы

<variant> программаларды сипаттау секциясы

<question> ПРОЛОГ – программадағы GOAL бөлімі – бұл ....

<variant> сұрауларды сипаттау секциясы

<variant> типтерді сипаттау секциясы

<variant> предикаттарды сипаттау секциясы

<variant> сөйлемдерді сипаттау секциясы

<variant> программаларды сипаттау секциясы

<question> Қандай қызметші сөз ПРОЛОГ – программадағы бөлімнің атауы болмайды:

<variant> BEGIN

<variant> GOAL

<variant> CLAUSES

<variant> PREDICATES

<variant> THEN

<question> Мәні болмайтын айнымалы ... деп аталады:

<variant> еркін

<variant> аноним

<variant> бос

<variant> жай

<variant> күрделі

<question> Мәні болатын айнымалы ... деп аталады:

<variant> айқындалған

<variant> анықталған

<variant> еркін емес

<variant> айқын

<variant> фактілі

<question> Тырнақшаға алынған кез келген символдар тізбегі – бұл ...

<variant> атом

<variant> терм

<variant> айнымалы

<variant> құрылым

<variant> тұрақты

<question> ПРОЛОГ программалау тіліндегі атом – бұл ...

<variant> тізбектер

<variant> сан

<variant> құрылым

<variant> бірнеше біріктірілген объектілер

<variant> тұрақты

<question> ПРОЛОГ программалау тіліндегі құрылым – бұл ...

<variant> бірнеше біріктірілген объектілер

<variant> символдар тізбегі

<variant> сан

<variant> бір символ

<variant> тұрақты

<question> ПРОЛОГ программалау тілінде деректер типі ... деп аталады:

<variant> домен

<variant> терм

<variant> құрылым

<variant> атом

<variant> ядро

<question> ПРОЛОГ программалау тілінде деректер объектісі ... деп аталады:

<variant> терм

<variant> домен

<variant> атом

<variant> тип

<variant> ядро

<question> Қандай объектілер айнымалыларға жатады:

<variant> Диана, _ диана

<variant> диана

<variant> "Диана"

<variant> ?диана

<variant> !Диана

<question> Қандай объектілер құрылым болып табылады:

<variant> күні (15 мамыр, 2004)

<variant> жағы (солтүстік, оңтүстік )

<variant> барады (иван, москва)

<variant> үш (қара (мысық) )

<variant> дұрыс жауабы жоқ

<question> Қандай объектілер атомдарға жатады:

<variant> ирина, "Ирина"

<variant> Ирина

<variant> _ирина

<variant> ?Ирина

<variant> !Ирина

<question> Жолдық типтегі объектілерді сипаттау үшін ПРОЛОГ программалау тілінде қандай қызметші сөз қолданылады:

<variant> STRING

<variant> INTEGER

<variant> REAL

<variant> CHAR

<variant> BOOLEAN

<question> Бүтін типтегі объектілерді сипаттау үшін ПРОЛОГ программалау тілінде қандай қызметші сөз қолданылады:

<variant> INTEGER

<variant> REAL

<variant> CHAR

<variant> STRING

<variant> BOOLEAN

<question> Нақты типтегі объектілерді сипаттау үшін ПРОЛОГ программалау тілінде қандай қызметші сөз қолданылады:

<variant> REAL

<variant> INTEGER

<variant> CHAR

<variant> WORD

<variant> STRING

<question> ПРОЛОГ программалау тілінде қандай типті деректер жоқ:

<variant> WORD, BOOLEAN, LONGINT

<variant> INTEGER, REAL, SYMBOL

<variant> CHAR, REAL, INTEGER

<variant> SYMBOL, STRING, INTEGER

<variant> STRING, REAL, INTEGER

<question> Есептің барлық шешімдерін іздеу үшін қандай предикат қолданылады:

<variant> fail предикаты

<variant> қиып тастау (отсечения) предикаты

<variant> writeln предикаты

<variant> readln предикаты

<variant> goal предикаты

<question> Іздеу жазықтығын шектеу үшін қандай предикат қолданылады:

<variant> қиып тастау (отсечения) предикаты

<variant> fail предикаты

<variant> writeln предикаты

<variant> readln предикаты

<variant> goal предикаты

<question> READLN енгізу предикаты ... енгізуге мүмкіндік береді:

<variant> жолдық мәндерді

<variant> бүтін сандық мәндерді

<variant> нақты сандық мәндерді

<variant> кез келген мәндерді

<variant> предикаттарды

<question> READINT енгізу предикаты .... енгізуге мүмкіндік болады:

<variant> бүтін санды

<variant> нақты санды

<variant> жолдық мәндерді

<variant> кез келген мәндерді

<variant> ондық санды

<question> READREAL енгізу предикаты .... енгізуге мүмкіндік болады:

<variant> нақты сан

<variant> жолдық мәндер

<variant> бүтін сан

<variant> кез келген мәндер

<variant> ондық сан

<question> FAIL предикатын қолдану ..... мүмкіндік береді:

<variant> программаның барлық шешімдерін табуға

<variant> программаның бір ғана шешімін табуға

<variant> программаның бірнеше шешімін табуға

<variant> программаның орындалуын аяқтау

<variant> программаның көптеген шешімін табуға

<question> Қиып тастау (отсечение) предикаты ...... :

<variant> !

<variant> %

<variant> ?

<variant> №

<variant> $

<question> Жетістікке жетпеу жағдайын жасанды түрде тудыратын және есептің шешімін іздеуді жалғастыруды мәжбүрлейтін тепе-тең жалған предикаты.... деп аталады:

<variant> FAIL предикаты

<variant> Қиып тастау (отсечения) предикаты

<variant> жалған предикаты

<variant> READLN предикаты

<variant> READINT предикаты

<question> ПРОЛОГ-ы программа сөйлемдерден тұрады:

<variant> факті, ереже, сұрау

<variant> процедура, функция

<variant> функция, айнымалы

<variant> қатынастар, объектілер

<variant> дұрыс жауап жоқ

<question> Обьектілер арасындағы қандай да бір нақты қарым-қатынастардың сақталуы туралы тұжырым аталады:

<variant> факті

<variant> процедура

<variant> ереже

<variant> сұрау

<variant> программа

<question> Программа шешуі тиіс есептің берілгенін қалай атаймыз:

<variant> сұрау

<variant> факті

<variant> процедура

<variant> программа

<variant> ереже

<question> Фактілер негізіндегі обьектілер арасындағы қатынасты қалай жүзеге асыруға болады:

<variant> ереже

<variant> процедура

<variant> факті

<variant> программа

<variant> сұрау

<question> Тізімделген тұжырымдардың қайсысы тұжырымдама-факті болып табылады:

<variant> жақсы көреді (Ира, алма).

<variant> ана (X, Y): - ата-ана (X, Y), әйел (X).

<variant> жақсы көреді (Ира, X ).

<variant> ата-ана (А, В ).

<variant> әже (Х, Y)

<question> Тізімделген тұжырымдардың қайсысы тұжырымдама-факті болып табылады:

<variant> Біледі ( Татьяна, Х )

<variant> жақсы көреді ( Ира, алма )

<variant> ата-ана ( Кристина, Дмитрий )

<variant> Ойнайды ( Вова, футбол )

<variant> әже (Х, Y)

<question> Тізімделген тұжырымдардың қайсысы ереже болып табылады:

<variant> ана ( X, Y ) : - ата-ана ( X, Y ), әйел ( X )

<variant> жақсы көреді ( Ира, көкөрік )

<variant> Біледі ( Иван, Х )

<variant> Оқиды ( Наташа, мектепте )

<variant> Ойнайды ( Дима, шахматы )

<question> Тізімделген тұжырымдардың қайсысы тұжырымдама-сұрау болып табылады:

<variant> Біледі ( Лена, Х )

<variant> Біледі ( Ира, Иван )

<variant> жақсы көреді ( Катя, шоколад )

<variant> студент ( Х ): - Оқиды ( Х, институт ); Оқиды ( Х, университет )

<variant> Ойнайды ( Саша, волейбол )

<question> ПРОЛОГ программалау тілі ... шешу үшін арналған:

<variant> логикалық есептерді

<variant> есептеуіш есептерді

<variant> графикалық есептерді

<variant> алгоритмдік есептерді

<variant> продукциондық есептерді

<question> ПРОЛОГ программалау тілін жасау негізіне жұмыстары:

<variant> Р. Ковальскидің, А. Колмерауэраның

<variant> Д. Ричидің, Шеннонның, Бергтің

<variant> Дж. Маккартидің, Хартлидің, Бергтің

<variant> Сайманның, Ньюэллдің, Шоудың

<variant> Д. Ричидің, Ньюэллдің, Шоудың

<question> ПРОЛОГ программалау тілінде орындалатын негізгі операция – бұл

<variant> үлгімен сәйкестендіру операциясы

<variant> есептеу операциясы

<variant> меншіктеу операциясы

<variant> анықтау операциясы

<variant> қиып тастау (отсечения) операциясы

<question> Жасанды интеллект обылысында шешілетін есептердің негізгі типіне жатпайтын есептер:

<variant> есептеуіш эксперимент

<variant> эксперттік жүйелерді жасау

<variant> бір тілден екінші тілге машиналық аудару жүйелерін жасау

<variant> графикалық бейнелерді өңдеу

<variant> зерделі оқыту жүйелерін жасау

<question> ПРОЛОГ программалау тілі жатады ......

<variant> логикалық программалау тілдеріне

<variant> процедуралық программалау тілдеріне

<variant> объектілі -бағытталған программалау тілдеріне

<variant> операциялық- мәселелі - бағытталған программалау тілдеріне

<variant> есептеуіш программалау тілдеріне

<question> ПРОЛОГ программалау тілінде білімдерді бейнелеудің қандай моделдері қолданылады:

<variant> продукциондық модел

<variant> фреймдік модел

<variant> семантикалық желі

<variant> процедуралық модел

<variant> предикаттар

<question> ПРОЛОГ программасының негізінде экран бетіне қандай нәтиже шығады:

PREDICATES

таңдау (integer, integer, integer)

CLAUSES

таңдау(А, В, А): - А<=В.

таңдау (А, В, В).

GOAL

таңдау (15, 8, М), WRITE (М).

<variant> 8

<variant> 15

<variant> 0

<variant> М

<variant> В

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

PREDICATES

SR (real, real, real)

CLAUSES

SR (А, В, S): - S=(А+В)/2

GOAL

SR (8, 12, S), WRITE (S).

<variant> 10

<variant> 8

<variant> 12

<variant> S

<variant> 2

<question> ПРОЛОГ программасының негізінде экран бетіне қандай нәтиже шығады:

CLAUSES

оқиды ("Дима", институт).

оқиды ("Лена", университет).

оқиды ("Вова", мектеп).

оқиды ("Лана", институт).

оқиды ("Леша", университет).

оқиды ("Вера", мектеп).

Goal

оқиды ("Лена", X), write(X), fail.

<variant> университет

<variant> институт

<variant> мектеп

<variant> Х

<variant> fail

<question> ПРОЛОГ программасының негізінде экран бетіне қандай нәтиже шығады:

Clauses

ойнайды ("Саша", футбол).

ойнайды ("Инна", волейбол).

ойнайды ("Андрей", футбол).

ойнайды ("Сережа", гандбол).

ойнайды ("Ира", теннис).

ойнайды ("Андрей", бейсбол).

Goal

ойнайды (Х, футбол), write(X), fail.

<variant> Саша, Андрей

<variant> Андрей

<variant> Инна

<variant> Саша

<variant> Ира

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

Ата-ана ("Лиза", "Борис").

Ата-ана ("Коля", "Борис").

Ата-ана ("Коля", "Лиза").

Ата-ана ("Борис", "Анна").

Ата-ана ("Борис", "Таня").

Ата-ана ("Таня", "Катя").

Goal

Ата-ана (Х, "Лиза"), write(X).

<variant> Коля

<variant> Борис

<variant> Таня

<variant> Катя

<variant> Анна

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

Оқиды ("Маша", "Москва").

Оқиды ("Петя", "Киров").

Оқиды ("Оля", "Сочи").

Оқиды ("Саша", "Омск").

Оқиды ("Наташа", "Москва").

Оқиды ("Таня", "Киров").

Оқиды ("Оля", "Томск").

Goal

Оқиды ("Маша", Y), write(Y).

<variant> Москва

<variant> Сочи

<variant> Омск

<variant> Киров

<variant> Томск

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

Жақсы көреді ("Анна", алма).

Жақсы көреді ("Оля", банан).

Жақсы көреді ("Света", шоколад).

Жақсы көреді ("Маша", апельсин).

Жақсы көреді ("Анна", банан).

Жақсы көреді ("Оля", алма).

Goal

Жақсы көреді (X, банан), write(X), fail.

<variant> Оля, Анна

<variant> Анна

<variant> Маша

<variant> Оля

<variant> Света

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

Біледі ("Лена", "Таня").

Біледі ("Лена", "Саша").

Біледі ("Саша", "Таня").

Біледі ("Таня", "Вася").

Біледі ("Вася", "Дима").

Біледі ("Дима", "Катя").

Goal

Біледі (Х, "Саша"), write(X).

<variant> Лена

<variant> Таня

<variant> Дима

<variant> Катя

<variant> Вася

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Predicates

таңдау (real, real, real)

Clauses

таңдау (X, Y, X): - X>=Y.

таңдау (X, Y, Y).

Goal

таңдау (21, 12, M), write (M).

<variant> 12

<variant> 21

<variant> Х

<variant> 0

<variant> М

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Predicates

Sr (real, real, real, real)

Clauses

Sr (X, Y, Z, S): - S = (X+Y+Z)/3.

Goal

Sr (3, 9, 12, S), write (S).

<variant> 8

<variant> 3

<variant> 9

<variant> 12

<variant> S

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

ойнайды ("Саша", футбол).

ойнайды ("Катя", теннис).

ойнайды ("Олег", футбол).

ойнайды ("Инна", волейбол).

ойнайды ("Саша", теннис).

ойнайды ("Оля", волейбол).

Goal

ойнайды (Х, теннис), ойнайды (Y, футбол), X=Y.

<variant> *Саша

<variant> Олег

<variant> Оля

<variant> Катя

<variant> Инна

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

Ата-ана ("Таня", "Борис").

Ата-ана ("Коля", "Полина").

Ата-ана ("Коля", "Лиза").

Ата-ана ("Борис", "Анна").

Ата-ана ("Борис", "Полина").

Ата-ана ("Таня", "Катя").

Goal

Ата-ана ("Таня", Х), Ата-ана (Х, "Полина"), write(X).

<variant> Борис

<variant> Коля

<variant> Таня

<variant> Катя

<variant> Анна

<question> Программаны орындағанда экран бетіне қандай нәтиже шығарылады:

Clauses

оқиды ("Маша", "Москва").

оқиды ("Петя", "Киров").

оқиды ("Оля", "Сочи").

оқиды ("Саша", "Омск").

оқиды ("Наташа", "Москва").

оқиды ("Таня", "Сочи").

Goal

оқиды (Х, "Сочи"), оқиды (Y, "Сочи"), Х<>Y.

<variant> Оля Таня

<variant> Маша Наташа

<variant> Оля Саша

<variant> Петя Таня

<variant> Наташа Саша